solve (20*log(10, (1 cos(a/2 t))/(1 cos(a/2-t)))-7.94328)=0